Sequential model - PDFSEARCH.IO - Document Search Engine

Sequential model
Results: 155

#	Item
131	Sequential optimization, front-loaded information, and U.S. consumption Add to Reading List Source URL: www.ecb.europa.eu Language: English - Date: 2007-06-13 10:37:11 Consumer theory Personal finance Precautionary savings Microeconomics Random walk model of consumption Overlapping generations model Labour economics Consumption Keynesian economics Macroeconomics Economics Economic theories
132	Project: COMPASS Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems SysML Blocks in CML COMPASS White Paper WP02 Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2014-02-21 07:41:09 Unified Modeling Language Systems Modeling Language Systems engineering Diagram Activity diagram Denotational semantics Modeling language Communicating sequential processes Entity-relationship model Data modeling Software engineering Computing
133	Sequential Matching Estimation of Dynamic Causal Models Add to Reading List Source URL: repec.iza.org Language: English - Date: 2005-03-02 12:33:01 Average treatment effect Causality Propensity score Matching Endogeneity Confounding Estimator Epidemiology Rubin causal model Statistics Econometrics Science
134	University of Surrey On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Department of Computing Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2013-05-25 17:08:22 Software engineering Process calculi Railway signalling Communicating sequential processes Models of computation Interlocking Formal methods Process calculus Model checking Computing Concurrent computing Computer science
135	The Modelling and Analysis of Security Protocols: the CSP Approach P.Y.A. Ryan, S.A. Schneider, M.H. Goldsmith, G. Lowe and A.W. Roscoe Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2010-12-15 14:57:33 Information Communicating sequential processes Communications protocol Cryptographic primitive Public-key cryptography Model checking Yahalom Burrows–Abadi–Needham logic Protocol Cryptographic protocols Cryptography Data
136	Sensors and Actuators in TCOZ Brendan Mahony1Jin Song Dong2 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2000-06-26 22:43:45 Process calculus Channel Electronics Signal Analog-to-digital converter Control theory Actor model Computer programming Communicating sequential processes Digital signal processing Concurrent computing Computing
137	On Consistency of Encrypted Files Alina Oprea1 and Michael K. Reiter2 1 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-07-31 20:53:46 Computer architecture Cryptographic software Special purpose file systems Concurrency control Consistency model File system Encrypting File System Sequential consistency Data integrity Computing Transaction processing Data management
138	oneStationTrackPlan_a_and_b.png Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-07-13 05:55:18 Communicating sequential processes Concurrent computing Process calculi Interlocking Railroad switch Model theory Structure Union Pacific Railroad Rail transportation in the United States Transportation in the United States Railway signalling
139	Verification of Scheme Plans using CSP\|\|B Philip James1 , Faron Moller1 , Hoang Nga Nguyen3 , Markus Roggenbach1 , Steve Schneider2 , Helen Treharne2 , Matthew Trumble2 , and David Williams4 1 Swansea University, UK Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-11-29 11:10:29 Communicating sequential processes Workflow technology Mind Railway signalling Logic in computer science Ethology Model checking Workflow Interlocking Concurrent computing Computing Process calculi
140	On Consistency of Encrypted Files Alina Oprea∗ Michael K. Reiter† March 2005 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-06-29 07:27:04 Data management Cryptographic software Special purpose file systems Concurrency control Consistency model File system Data integrity Linearizability Sequential consistency Computing Transaction processing Computer architecture

UPDATE